On the “ counter - example ” in the article “ Max ′ - controlled siphons for liveness of S 3 PGR 2 ” regarding the results in [ 1 ]
نویسنده
چکیده
The main purpose of this correspondence is to establish that, contrary to the claims that are made in [2], the results of [1] concerning the liveness characterization of the S3PGR2 nets by means of the structural object of deadly marked siphon, are correct and complete.
منابع مشابه
Deadlock Control for Weighted Systems of Simple Sequential Processes with Resources Requirement (WS3PR)
Current deadlock control approaches for WSPR (Weighted Systems of Simple Sequential Processes with Resources Requirement) suffer from incorrect liveness characterization based on the concept of deadly marked siphons (DMS). We discover that nonlive transitions may exist even though there are no DMS. That is, the net model may be weakly live or in livelock states under no DMS. It is live under a ...
متن کاملFlexible Manufacturing System Design and Optimization using Petri Net-based Elementary Siphons
A computer simulation system, which is based-siphon Petri net for control of concurrent processes of the reusable resources, that is mainly aimed to provide guidelines for control and management engineering of flexible manufacturing systems (FMSs) is presented in this work. We present an important technique for the analysis of siphon Petri net (PN) based on structural analysis, control, and sim...
متن کاملFlexible Manufacturing System Design and Optimization using Petri Net-based Elementary Siphons
A computer simulation system, which is based-siphon Petri net for control of concurrent processes of the reusable resources, that is mainly aimed to provide guidelines for control and management engineering of flexible manufacturing systems (FMSs) is presented in this work. We present an important technique for the analysis of siphon Petri net (PN) based on structural analysis, control, and sim...
متن کاملFlexible Manufacturing System Design and Optimization using Petri Net-based Elementary Siphons
A computer simulation system, which is based-siphon Petri net for control of concurrent processes of the reusable resources, that is mainly aimed to provide guidelines for control and management engineering of flexible manufacturing systems (FMSs) is presented in this work. We present an important technique for the analysis of siphon Petri net (PN) based on structural analysis, control, and sim...
متن کاملElementary Siphons of Petri Nets and Deadlock Control
The importance of siphons is well recognized in the detection and analysis of deadlocks in a Petri net. Based on them, a variety of techniques have been developed for deadlock problems in discrete event systems. Since the number of siphons in a net is theoretically exponential with its size, the major disadvantage of the existing siphon-based approaches is that the number of siphons that have t...
متن کامل